Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
951	Full Functional Verification of Linked Data Structures Karen Zee Viktor Kuncak Martin C. Rinard Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2008-04-04 04:21:28 Automated theorem proving Formal methods Logic in computer science Model theory KeY First-order logic Isabelle Formal verification Predicate transformer semantics Mathematics Theoretical computer science Mathematical logic
952	MLN 557 Stress in the Book of Nature: the Supplemental Logic Add to Reading List Source URL: innovation.ucdavis.edu Language: English - Date: 2011-01-13 18:22:15 Religion and science Astronomers Obsolete scientific theories Galileo affair Galileo Galilei Letter to the Grand Duchess Christina The Assayer Heliocentrism Book of Nature Science Astronomy Christianity
953	Synthesis of Reactive Systems Jens Regenberg <> IV Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-23 06:27:20 Formal methods Büchi automaton Ω-automaton Linear temporal logic SIGNAL Powerset construction Automata theory Theoretical computer science Computer science
954	Title: Inductive Scepticism and the Optimality of Meta-‐Induction Gerhard Schurz, University of Duesseldorf, Germany Abstract: The famous "N Add to Reading List Source URL: philosophy.ucsd.edu Language: English - Date: 2015-03-11 12:39:03 Inductive reasoning Epistemology Statistical inference Problem solving Scientific method Mathematical induction Prediction Problem of induction Science Knowledge Logic
955	A Solver for Modal Fixpoint Logics Oliver Friedmann Martin Lange Dept. of Computer Science University of Munich Munich, Germany Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:07 Mathematics Non-classical logic Logic in computer science Modal logic Philosophical logic Temporal logic Model checking Parity game Ω-automaton Logic Mathematical logic Automata theory
956	Disjunctive Interpolants for Horn-Clause Verification Philipp R¨ummer1 , Hossein Hojjat2 , and Viktor Kuncak2 1 2 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-04-07 14:09:22 Logic in computer science Logic programming Automated theorem proving Rules of inference Craig interpolation Interpolation Clause Resolution Horn clause Logic Mathematics Mathematical logic
957	Kinematic Analysis of a Space Mechanism—Rendezvous Simulator Add to Reading List Source URL: www.abhinavjournal.com Language: English - Date: 2013-12-17 06:28:32 Artificial intelligence Logic in computer science Non-classical logic Fuzzy control system Defuzzification Fuzzy set Expert system Membership function Type-2 fuzzy sets and systems Fuzzy logic Logic Mathematical logic
958	Tableaux with Automata (Extended Abstract) Oliver Friedmann and Martin Lange Dept. of Computer Science, University of Munich, Germany 1 Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:21 Mathematical logic Method of analytic tableaux Ω-automaton Tree automaton Modal μ-calculus Modal logic Formal language Well-formed formula Deterministic automaton Logic Automata theory Mathematics
959	PUBLICATIONS, PRESENTATIONS, OUTREACH Jan‐Willem Romeijn Theoretical Philosophy, University of Groningen Add to Reading List Source URL: www.philos.rug.nl Language: English - Date: 2014-09-16 04:51:37 Logic Formal epistemology Probabilistic logic Philosophy of science Epistemology Science Knowledge
960	Using Ripple Effect Mapping to Evaluate Program Impact: Choosing or Combining the Methods That Work Best for You Add to Reading List Source URL: www.joe.org Language: English - Date: 2015-04-27 10:52:30 Sociology Impact assessment Impact evaluation Observational study Philosophy of science Logic model Ripple effect Brainstorming Evaluation Evaluation methods Science

UPDATE